Typographie de programmes Ada

Test automatique de programmes

The design of embedded systems in safety-critical domains is a demanding task. During the last decades, formal methods and model-based approaches are widely used for the design, the analysis, the implementation and testing of major industrial applications. The work in this thesis addresses the improvement of the testing process with a view to automating test data generation as well as its quali...

De l'optimisation des programmes

Outils de compréhension de programmes dans DB-MAIN. Outils d'analyse de programmes pour la rétro-conception de bases de données

The paper shows that database reverse engineering (DBRE) needs several reasoning, techniques and tools that have been developed in the software engineering realm, and particularly in program understanding. Conversely, program understanding requires an in-depth comprehension of the semantics of the data. One of the process of the DBRE methodology we propose is dedicated to eliciting implicit str...

Eduardo de Paula Lima Ada Ávila

OBJECTIVE: To analyze the prevalence of smoking in firefighters and associated factors. METHODS: Cross sectional study of 711 firefighters in Belo Horizonte, MG, Southeastern Brazil, in 2011. The data were obtained using a self-applied structured questionnaire, which included sociodemographic characteristics, occupational stressors, health status and adverse life events. Smoking was analyzed as...

Une approche IDM de transformation exogène de Wright vers Ada

The formal ADL Wright allows to describe the structural and behavioral aspects ofabstract software architecture. The behavioral aspects are described in CSP and checked using themodel-checker FDR. While the ADL Wright does not offer any means to realize such architecturesabstract. The objective of this work is to open up the ADL Wright for Ada through an automatedapproach based ...